The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces
نویسندگان
چکیده
For the semantics of probabilistic features in programming mainly two approaches are used for building models. One is the Giry monad of Borel probability measures over metric spaces, and the other is Jones’ probabilistic powerdomain monad [6] over dcpos (directed complete partial orders). This paper places itself in the second domain theoretical tradition. The probabilistic powerdomain monad is well understood over continuous domains. In this case the algebras of the monad can be described by an equational theory [6, 9, 5]. It is the aim of this work to obtain similar results for the (extended) probabilistic powerdomain monad over stably compact spaces. We mainly want to determine the algebras of this powerdomain monad and the algebra homomorphisms.
منابع مشابه
The Probabilistic Powerdomain for Stably Compact Spaces via Compact Ordered Spaces
Stably compact spaces Xs can be described as being derived from compact ordered spaces X by weakening their topology to the open upper sets. In this paper the probabilistic powerdomain of a stably compact space Xs is investigated using the compact ordered space X and classical tools from measure theory and functional analysis. This allows to derive in a unified and elegant way known and new res...
متن کاملThe probabilistic powerdomain for stably compact spaces
This paper reviews the one-to-one correspondence between stably compact spaces (a topological concept covering most classes of semantic domains) and compact ordered Hausdorff spaces. The correspondence is extended to certain classes of real-valued functions on these spaces. This is the basis for transferring methods and results from functional analysis to the non-Hausdorff setting. As an applic...
متن کاملQRB, QFS, and the Probabilistic Powerdomain
We show that the first author’s QRB-domains coincide with Li and Xu’s QFS-domains, and also with Lawson-compact quasi-continuous dcpos, with stably-compact locally finitary compact spaces, with sober QFSspaces, and with sober QRB-spaces. The first three coincidences were discovered independently by Lawson and Xi. The equivalence with sober QFS-spaces is then applied to give a novel, direct proo...
متن کاملAbstract ordered compact convex sets and the algebras of the (sub-)probabilistic power domain monad over ordered compact spaces
ordered compact convex sets and the algebras of the (sub-)probabilistic power domain monad over ordered compact spaces Klaus Keimel∗
متن کاملThe Monad of Probability Measures over Compact Ordered Spaces and its Eilenberg-Moore Algebras
The probability measures on compact Hausdorff spaces K form a compact convex subset PK of the space of measures with the vague topology. Every continuous map f : K → L of compact Hausdorff spaces induces a continuous affine map Pf : PK → PL extending P. Together with the canonical embedding ε : K → PK associating to every point its Dirac measure and the barycentric map β associating to every pr...
متن کامل